Skip to content
This repository has been archived by the owner on Aug 7, 2024. It is now read-only.

Merge new release into main #3478

Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jan 15, 2023

Created by Github action

@github-actions github-actions bot merged commit 6c7dbc0 into main Jan 15, 2023
@github-actions github-actions bot deleted the release-from-8463d783b674c9b9d64fe6529ed220254187d5b3 branch January 15, 2023 10:51
@github-actions github-actions bot added the small Pull request with less than 10 changed lines label Jan 15, 2023
@github-actions
Copy link
Contributor Author

Reviewpad Report

ℹ️ Messages

  • A maintainer will review your pull request soon!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
small Pull request with less than 10 changed lines waiting-for-reviewers
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants